projection morphism